Towards a Theory of Re ective Programming Languages (
نویسندگان
چکیده
This paper attempts to develop a better theoretical understanding of re ective systems. We begin by a developing a re ective extension of the v -calculus and de ne a simple operational semantics for it based on the in nite tower model described in [10]. We then develop an equational logic from this semantics. The resulting logic is shown to be weak because of re ective properties. We establish properties about this logic and show that it corresponds to the operational semantics.
منابع مشابه
Towards a theory of reflective programming languages
This paper attempts to develop a better theoretical understanding of re ective systems. We begin by a developing a re ective extension of the v-calculus and de ne a simple operational semantics for it based on the in nite tower model described in [10]. We then develop an equational logic from this semantics. The resulting logic is shown to be weak because of re ective properties. We establish p...
متن کاملAxiomatizing Re ective Logics and Languages
The very success and breadth of re ective techniques underscores the need for a general theory of re ection. At present what we have is a wide-ranging variety of re ective systems, each explained in its own idiosyncratic terms. Metalogical foundations can allow us to capture the essential aspects of re ective systems in a formalismindependent way. This paper proposes metalogical axioms for re e...
متن کاملA Simple Re ective Interpreter Stanley Je erson
Procedurally re ective programming languages enable user programs to semantically extend the language itself, by permitting them to run at the level of the language implementation with access to their context. The re ective tower, rst introduced by Brian Smith [9, 10], is the principal architecture for such languages. It is informally described as an in nitely ascending tower of meta-circular i...
متن کاملImplementing Parallel Language Constructs Using a Re ective Object - Oriented Language
To provide various parallel language constructs, extensible languages based on re ection are attractive for both implementors and users. This paper describes our proposed meta-level architecture of a concurrent object-oriented language ABCL/R3, which has the following characteristics: (1) language customization through meta-interpreters and meta-objects, (2) delegation and inheritance mechanism...
متن کاملUsing Partial Evaluation in Re ective Concurrent Object - Oriented Languages
Parallel and distributed programs often have hardware/problem speci c optimizations for improving quality of the program such as e ciency and robustness. Those optimizations, unfortunately, degrade portability and re-usability as they are intertwined with the original algorithm description. Re ective languages, which provide the application programmer extensible and abstract implementation of t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1993